initial value theorem proof